# encoding: UTF-8

# START@#2017-07-#

# exit(0);
# END@#2017-07-#


# START@#2017-07-25#

ab ||= 3
p ab

exit(0);
# END@#2017-07-25#
